Multi-domain Modeling of Cyber-Physical Systems Using Architectural Views

نویسندگان

  • Ajinkya Bhave
  • Bruce Krogh
  • David Garlan
  • Bradley Schmerl
چکیده

Designing cyber-physical systems (CPSs) increasingly requires the use of multi-domain models throughout the development process. Ensuring consistent relationships between various system models is an important part of an integrated design methodology. This paper describes an architectural approach to reasoning about relations between heterogeneous system models. The run-time base architecture of the system is used as a unifying representation to compare the structure and semantics of the associated models. Each model is related to the base architecture through the abstraction of an architectural view, which captures structural and semantic correspondences between model elements and system entities. The use of the architectural view framework to relate system models from different domains is illustrated in the context of a quadrotor air vehicle. Keywords-architectural views; multi-domain modeling; cyberphysical systems; component-connector;

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Multi-view Modeling and Pragmatics in 2020 - Position Paper on Designing Complex Cyber-Physical Systems

Multi-view modeling refers to a system designer constructing distinct and separate models of the same system to model different (semantic) aspects of a system. Modeling pragmatics also entails constructing different views of a system, but here the focus is on syntactic/pragmatic aspects, and the views are constructed automatically by filtering and drawing algorithms. In this paper, we argue tha...

متن کامل

A Multidisciplinary Design Methodology for Cyber-physical Systems

Designing cyber-physical systems is a challenge originating from the multidisciplinary and mixed-signal requirements. In order to handle this challenge, many design languages have been developed, but none is able to connect different application domains adequately. This paper proposes a new system based view for cyber-physical system design which can be easily adapted by MARTE or SysML, as it u...

متن کامل

MODELS: G: Architectural and Analytic Integration of Cyber-Physical System Models

Modeling methods for Cyber-Physical Systems (CPS) originate in various engineering fields, and are difficult to use together due to their heterogeneity. Inconsistencies between mutually oblivious models and analyses often lead to implicit design errors, which may cause catastrophic failures of critical CPS. Such consistency issues are not fully solved by the stateof-the-art integration methods,...

متن کامل

Architectural and Analytic Integration of Cyber-Physical System Models

Modeling methods for Cyber-Physical Systems (CPS) originate in various engineering fields, and are difficult to use together due to their heterogeneity. Inconsistencies between mutually oblivious models and analyses often lead to implicit design errors, which may cause catastrophic failures of critical CPS. Such consistency issues are not fully solved by the state-of-the-art integration methods...

متن کامل

Title: CPS: Medium: GOALI: An Architecture Approach to Heterogeneous Verification of Cyber-Physical Systems (Award # 1035800) Authors:

Current methods for design and verification of cyber-physical systems (CPS) lack a unifying framework due to the complexity and heterogeneity of the constituent elements and their interactions. Heterogeneous models describe different aspects of a CPS at varying levels of abstraction and using different formal languages. This prevents engineers from detecting inconsistencies among models and rea...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010